EXTRA_DIST = $(srcdir)/*.html $(srcdir)/*.css $(srcdir)/*.png $(srcdir)/*.gif

